TAGs: Recursive formula example